Quarterly Letters: The Correct Caduceus

How to write the correct title?

This article has no abstract.

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

We present the Why/Krakatoa/Caduceus set of tools for deductive veri cation of Java and C source code.

The Quarterly Review of Pædiatrics. the Quarterly Review of Psychiatry and Neurology. the Quarterly Review of Urology

Research-agenda Bias: letters to the editor

The Quarterly Review

Synchronizedflashing by males of some firefly species involves a capacity for visually coordinated, rhythmically coincident, inter-individual behavior that is apparently unique in the animal kingdom exceptfor afew other arthropods andfor man. This paper reviews (1) diverse communicative interactions that have evolvedfrom elementary photic signals, (2) physiological mechanisms of synchronism, an...